../../../../ia32/include/arch/boot/memmap.h